Reprinted from Proceedings of the 2010 ACM Symposium on Principles of Programming Languages (POPL’10) Automatically Generating Instruction Selectors Using Declarative Machine Descriptions Jo˜ao Dias

Source URL: www.cs.tufts.edu

• Hoare logic
• Static program analysis
• Predicate transformer semantics

Questions Developers Ask While Diagnosing Potential Security Vulnerabilities with Static Analysis Justin Smith, Brittany Johnson, and Emerson Murphy-Hill Bill Chu and Heather Richter Lipford

Source URL: www4.ncsu.edu

• Computer network security
• Hacking
• Software testing
• Computer security
• Vulnerability
• Cross-site scripting
• SQL injection
• Program analysis
• Web application security
• Penetration test
• Application security
• Software bug

C:/Home/Cipak/UPT/PublicationsSACIaccepted/paper/paper.dvi

Source URL: www.islavici.ro

• Software engineering
• Software quality
• Systems engineering
• Software metrics
• Source code
• Systems thinking
• ISO/IEC
• Reliability engineering
• Static program analysis
• NDepend
• Software testing
• Non-functional requirement

Finding Your Cronies:  Static Analysis for Dynamic Object Colocation Samuel Z. Guyer Kathryn S. McKinley

Source URL: www.cs.utexas.edu

• Computing
• Software engineering
• Data types
• Memory management
• Static program analysis
• Primitive types
• Object-oriented programming languages
• Colocation centre
• Escape analysis
• Garbage collection
• Garbage
• Reference

A Security Domain Model to Assess Software for Exploitable Covert Channels Alan B. Shaffer Mikhail Auguston

Source URL: cisr.nps.edu

• Software engineering
• Computing
• Computer programming
• Concurrent programming languages
• Dependence analysis
• Static program analysis
• Information flow
• Program slicing
• Scope
• ALGOL 68
• Variable
• XC

A Security Domain Model for Static Analysis and Verification of Software Programs Alan B. Shaffer Naval Postgraduate School Computer Science Dept Monterey, CA, USA

Source URL: cisr.nps.edu

• Crime prevention
• Cryptography
• Information governance
• National security
• Computer security
• Covert channel
• Information flow
• Program slicing
• Mandatory access control
• Alloy Analyzer
• Domain-specific language
• Information security

SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionFebruary 2016) Contents

Source URL: types.cs.washington.edu

• Smartphones
• Java
• Archive formats
• Alphabet Inc.
• Android
• App store
• Type system
• Apache Ant
• Java annotation
• JAR

TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis JUNGHEE LIM GrammaTech, Inc. and THOMAS REPS

Source URL: research.cs.wisc.edu

• Logic in computer science
• Programming language semantics
• Programming language implementation
• Compiler construction
• Formal methods
• Abstract interpretation
• Semantics
• Static program analysis
• Syntax
• GrammaTech
• Denotational semantics
• Compiler

Cascade 2.0 Wei Wang, Clark Barrett, and Thomas Wies New York University Abstract. Cascade is a program static analysis tool developed at New York University. Cascade takes as input a program and a control file.

Source URL: www.cs.nyu.edu